Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
000098 | Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Validation of Formal Specifications through Transformation and Animation |
000109 | Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
000658 | Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Observation-Level-Driven Formal Modeling |
This area was generated with Dilib version V0.6.33. |